5

An approach to formal verification of human–computer interaction

Year:
2007
Language:
english
File:
PDF, 666 KB
english, 2007
7

Providing a formal linkage between MDG and HOL

Year:
2007
Language:
english
File:
PDF, 547 KB
english, 2007